منابع مشابه
Ildikó Sain COMPUTER SCIENCE TEMPORAL LOGICS
We use first-order temporal logic (FTL) with modalities ©, [F ], and U denoting “nexttime”, “always-in-the-future”, and “until” respectively. Given a first-order similarity type or language L, the usual predicate etc. symbols of L are considered to be rigid, i.e. their meanings do not change in time. Similarly, individual variables xi (i ∈ ω) are rigid. To this we add an infinity yi (i ∈ ω) of ...
متن کاملrouter dans un arbre ?
1 CNRS, Laboratoire de Recherche en Informatique, Université Paris-Sud, 91405 Orsay cedex, France. [email protected]. Part of this work was done while the first author was visiting Carleton University at Ottawa, and Concordia University at Montréal. Additional support from Carleton U, the NATO, and the RNRT project R.O.M. 2 LaBRI, Université Bordeaux 1, 351, cours de la Libération, 33405 Talence, F...
متن کاملIldikó Sain TOTAL CORRECTNESS IN NONSTANDARD DYNAMIC
In this paper we investigate total correctness (termination and correctness simultaneously) in Nonstandard Dynamic Logic (NDL). Here we show that despite of the celebrated Kfoury-Park [5] result, termination is a first order notion if approached properly (e.g. via NDL). In Definition 1 below we recall the famous Manna-Cooper Q-method for proving total correctness. Then we do the same things to ...
متن کاملCarcinome hépatocellulaire non fibrolamellaire sur foie sain
Le carcinome hépatocellulaire (CHC) survient le plus souvent sur foie de cirrhose. Sa survenue sur un foie sain est exceptionnelle et pose un véritable défit diagnostique pour le clinicien. Nous rapportons l'observation d'un patient de 53 ans, sans antécédents pathologiques notables qui fût admis pour exploration d'une douleur de l'hypochondre droit évoluant depuis quelques mois avec une exacer...
متن کاملOndes sur un tourbillon vertical dans un fluide fortement stratifié
Nous étudions les ondes d’un tourbillon vertical dans un fluide fortement stratifié. Ces ondes sont très différentes de celles qui existent en fluide homogène (Ondes de Kelvin). Elles sont uniquement non-axisymétriques, leur vitesse de phase azimuthale est toujours positive et de manière surprenante, elles sont instables en raison d’un rayonnement d’ondes internes. Le mécanisme de cette instabi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Emulations - Revue de sciences sociales
سال: 2020
ISSN: 1784-5734,2030-5656
DOI: 10.14428/emulations.varia.029